transfinite induction proofs